Opportunistically Parallel Lambda Calculus
dl.acm.orgยท1dยท
Discuss: Hacker News
โ˜๏ธServerless Rust
Flag this post
Introducing the Log Analytics query builder: Easier analytics for your logs
cloud.google.comยท13h
๐Ÿ“ŠClickHouse
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.orgยท2d
๐Ÿ—ƒ๏ธdatabase engineering
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.comยท1dยท
Discuss: Hacker News
๐Ÿ“ŠDatabase Monitoring
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgยท8hยท
Discuss: Hacker News
๐Ÿ”ŒEmbedded Rust
Flag this post
What are you doing this weekend?
lobste.rsยท10hยท
Discuss: Lobsters
๐Ÿ”Static Analysis
Flag this post
Advances In Formal Verification Technology
semiengineering.comยท1d
๐Ÿ”Chip Verification
Flag this post
Building a Self-Improving RAG System with Smart Query Routing and Answer Validation
dev.toยท16hยท
Discuss: DEV
๐Ÿ—ƒ๏ธEmbedded Databases
Flag this post
Data Modeling for OLAP with AI Ft. District Cannabis (MooseStack, ClickHouse)
fiveonefour.comยท1dยท
Discuss: Hacker News
๐Ÿ“ŠClickHouse
Flag this post
Down with template (or not)!
cedardb.comยท1d
ฮปFunctional Programming
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
ฮปFunctional Programming
Flag this post
Scalable Static Analysis Framework โ€“ hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgยท2dยท
Discuss: Hacker News
๐Ÿ”Static Analysis
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.skยท20hยท
โšกTokio
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท11hยท
Discuss: Hacker News
๐Ÿ“ฑEdge AI
Flag this post
Using the expand and contract pattern for schema changes
prisma.ioยท9hยท
Discuss: Hacker News
๐Ÿ—ƒ๏ธdatabase engineering
Flag this post
Show HN: Run SQL queries directly on your website
embedded.sql-workbench.comยท15hยท
Discuss: Hacker News
๐Ÿ—ƒ๏ธEmbedded Databases
Flag this post
Exploring PKM concepts
nhlism.bearblog.devยท8h
โœจvibe-coding
Flag this post
Nim 2.2.6
nim-lang.orgยท15hยท
Discuss: Hacker News
๐Ÿ”Static Analysis
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.comยท10hยท
Discuss: Hacker News
๐Ÿ—๏ธAI Infrastructure
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ€“ Part 1
aws.amazon.comยท7h
๐Ÿค–AI agents
Flag this post